This question as to whether machines can, or could, be made to think, has become familiar in recent years since the renewed outburst of interest that has taken place in the development of Cybernetics. The notion of servo–mechanisms and the like has a history in remote antiquity but the form of its fundamental question has recently taken on a new and especially acute significance.

I Would like to draw attention to the basic defect in the argument used by Mr J. R. Lucas.Mr Lucas there states that Gödel's theorem shows that any consistent formal system strong enough to produce arithmetic fails to prove, within its own structure, theorems that we, as humans, can nevertheless see to be true. From this he argues that ‘minds’ can do more than machines, since machines are essentially formal systems of this same type, and subject to the limitation implied (...) by Godel's theorem. (shrink)

I would like to make some further clarifying remarks about the nature of learning machines, or finite automata as they are more generally known these days. It is clear from much that has recently been written on this subject that there are still many misunderstandings about their capacity and significance.

Professor A. D. Ritchie's remarks cannot go without some reply, since otherwise they would only have the effect of increasing the already considerable confusion on the subject of Cybernetics.